.syntax-container.syntax-theme-grey div.editor.syntax {
  background-color: white;
  border: 1px inset #aaaaaa; }
